Buy Used and New Laurent Mounier Books

Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings: 2989 (Lecture Notes in Computer Science)

by Susanne Graf,Laurent Mounier

ISBN 13: 9783540213147

Format: Illustrated (324 pages)
Publisher: Springer Berlin Heidelberg
Published: 10 Oct 2008

Save for later